On the equational consistency of order-theoretic models of the ⁄-calculusú
نویسندگان
چکیده
Answering a question by Honsell and Plotkin, we show that there are two equations between ⁄-terms, the so-called subtractive equations, consistent with ⁄-calculus but not satisfied in any partially ordered model with bottom element. We also relate the subtractive equations to the open problem of the order-incompleteness of ⁄-calculus. 1998 ACM Subject Classification F.4.1 Lambda calculus and related systems
منابع مشابه
On the completeness of order-theoretic models of the λ-calculus
Scott discovered his domain-theoretic models of the λ-calculus, isomorphic to their function space, in 1969. A natural completeness problem then arises: whether any two terms equal in all Scott models are convertible. There is also an analogous consistency problem: whether every equation between two terms, consistent with the λ-calculus, has a Scott model. We consider such questions for wider s...
متن کاملOn the equational consistency of order-theoretic models of the λ-calculus∗
Answering a question by Honsell and Plotkin, we show that there are two equations between λ-terms, the so-called subtractive equations, consistent with λ-calculus but not satisfied in any partially ordered model with bottom element. We also relate the subtractive equations to the open problem of the order-incompleteness of λ-calculus. 1998 ACM Subject Classification F.4.1 Lambda calculus and re...
متن کاملWelfare Impacts of Imposing a Tariff on Rice in Iran vs an Export Tax in Thailand: A Game Theoretic Approach
In this study, the social welfare impacts of the interaction of Iranian rice import policies and Thai export policies are analyzed using a game theoretic approach in conjunction with econometric supply and demand models. The joint impacts of increasing the world price of rice, resulting from the export policies in Thailand along with changes in tariff rates in Iran, on social welfare are analyz...
متن کاملA Perfect Specialization Model for Gravity Equation in Bilateral Trade based on Production Structure
Although initially originated as a totally empirical relationship to explain the volume of trade between two partners, gravity equation has been the focus of several theoretic models that try to explain it. Specialization models are of great importance in providing a solid theoretic ground for gravity equation in bilateral trade. Some research papers try to improve specialization models by addi...
متن کاملA game Theoretic Approach to Pricing, Advertising and Collection Decisions adjustment in a closed-loop supply chain
This paper considers advertising, collection and pricing decisions simultaneously for a closed-loop supplychain(CLSC) with one manufacturer(he) and two retailers(she). A multiplicatively separable new demand function is proposed which influenced by pricing and advertising. In this paper, three well-known scenarios in the game theory including the Nash, Stackelberg and Cooperative games are expl...
متن کامل